#include <iostream>

using namespace std;

int main()
{
	int a, b, c;
	cin >> a >> b >> c;

	double sum = a * 0.2 + b * 0.3 + c * 0.5;

	printf("%d", (int)sum);

	return 0;
}